Définition
Langage : ensemble de relations, fonctions et constantes
Langage : ensemble de relations, fonctions et constantes
>Les relations et fonctions viennent avec leur arité, i.e. Un entier \(\gt 0\)
(
Fonction - Application,
Relation,
Constante,
Arité)